perm filename ERSHOV[E89,JMC]1 blob sn#876720 filedate 1989-09-01 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%ershov[e89,jmc]		Remembering Andrei
C00005 ENDMK
CāŠ—;
%ershov[e89,jmc]		Remembering Andrei

	I first met Andrei Ershov in December 1958 in Teddington,
England at the Teddington Conference on the Mechanization
of Thought Processes.  It was his first trip abroad and also mine.
Our contact was not large, because we were pursuing quite
different subjects at the time.

	He presented his ideas on Alpha programming language.
It was an advanced language for its time with many new ideas.
Unfortunately, it could not compete on equal terms with
Algol 60, because the latter was developed as an international
standard by the Western European and American computer science
communities.  Algol 60 might have been improved if Ershov had
been able to take part in the Paris conference in January 1960.

	I met him again in 1965 when I made my first of many
visits to the Soviet Union.  My contacts and friendship with
him were a major reason why the visits were many.  He was
already in Novosibirsk and he wanted me to visit him there
after the cybernetics conference on the ship Admiral Nakhimov.
This was not easy to arrange, because at that time Novosibirsk
was still closed to foreigners.  I remember that he gave up
and came to Moscow to meet me, but then it turned out
that the Novosibirsk arrangements had at last been made,
and we went there together.

	At that time we had more common interests---techniques
for proving that computer programs met their specifications.